Comparing diagnosability in Continuous and Discrete-Event Systems
نویسندگان
چکیده
This paper is concerned with diagnosability analysis, which proves a requisite for several tasks during the system’s life cycle. The Model-Based Diagnosis (MBD) community has developed specific approaches for Continuous Systems (CS) and for Discrete Event Systems (DES) in two distinct and parallel tracks. In this paper, the correspondences between the concepts used in CS and DES approaches are clarified and it is shown that the diagnosability problem can be brought back to the same formulation using the concept of signatures. These results bridges CS and DES diagnosability and open perspectives for hybrid model based diagnosis.
منابع مشابه
Coupling Continuous and Discrete Event System Techniques for Hybrid System Diagnosability Analysis
In this paper we propose a hybrid system modeling framework aimed at analyzing diagnosability. In this framework, the hybrid system is seen as the composition of an underlying discrete event and an underlying continuous systems. Diagnosability of these two underlying systems are fully analyzed and new results are provided for the underlying continuous system (called the multimode system). Based...
متن کاملDiagnosability of Hybrid Systems: Analysis and Verification Cast in Des Framework
The diagnosability analysis proposed for Discrete Event Systems (DES) can be extended to Hybrid Systems (HS) which are systems with combined discrete and continuous behavior. In this paper we propose an approach based on the combination of the diagnosability of the underlying DES and the distinguishability of the continuous modes of the HS. The main idea is to build an observer of the underlyin...
متن کاملSolving Diagnosability of Hybrid Systems via Abstraction and Discrete Event Techniques
This paper addresses the problem of determining the diagnosability of hybrid systems by abstracting hybrid models to a discrete event setting. From the continuous model the abstraction only remembers two pieces of information: indiscernability between modes (when they are guaranteed to generate different observations) and ephemerality (when the system cannot stay forever in a given set of modes...
متن کاملHybrid Systems Diagnosis by coupling Continuous and Discrete event Techniques
This paper deals with the problem of diagnosing systems that exhibit both continuous and discrete event dynamics. The proposed approach combines techniques from both continuous and discrete event diagnosis fields. On the on hand, an extension of the parity space approach is used to associate signatures to every operational mode of the system. On the other hand, signature switches arising from t...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کامل